$\forall$$p$:PosetSig, $a$, $b$:$\mid$$p$$\mid$. ($a$ $<$$p$ $b$) $\Leftarrow\!\Rightarrow$ strict\_part($x$,$y$.$x$ $\leq$ $y$;$a$;$b$)